strictly increasing function definition